Delta Def


Key Delta Def in Model[Valuation] refers to a choice from the list Delta Def